while (it.hasNext())
{
AbstractVertex child = it.next();
if(v.isExpanded()){
drawEdges(node, child);
}
}
}
GUINode node = v.getGraphics();
if(v.isExpanded())
{
//Edge.arrowLength = this.getWidthPerVertex() / 10.0;
for(Edge e : v.getInnerGraph().getEdges().values())